VDict - Definition of reduction strategy

Computing (FOLDOC) dictionary

reduction strategy

Jump to user comments

theory An algorithm for deciding which redex(es) to

reduce next. Different strategies have different termination

properties in the presence of recursive functions or values.

See string reduction, normal order reduction, applicativeorder reduction, parallel reduction

(1995-05-09)

Related search result for "reduction strategy"

Words contain "reduction strategy" in its definition in Computing (FOLDOC) dictionary:
reduction reduction strategy applicative order reduction evaluation strategy normal order reduction call-by-need parallel reduction call-by-name string reduction lazy evaluation more...

Comments and discussion on the word "reduction strategy"